Knowledge Formalizing

См. также в других словарях:

• Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… …   Wikipedia

• формализация знаний — Процесс представления структурированных знаний на определенном языке представления знаний. Является частью Инженерии знаний. [http://www.kmtec.ru] [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN Knowledge Formalizing …   Справочник технического переводчика

• Commonsense reasoning — is the branch of Artificial intelligence concerned with replicating human thinking. There are several components to this problem, including: Developing adequately broad and deep commonsense knowledge bases. Developing reasoning methods that… …   Wikipedia

• Nursing informatics — is a specialty of Health care informatics which deals with the support of nursing by information systems in delivery, documentation, administration and evaluation of patient care and prevention of diseases. Definitions Various definitions of… …   Wikipedia

• Mereotopology — In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries… …   Wikipedia

• Frame problem — In artificial intelligence, the frame problem was initially formulated as the problem of expressing a dynamical domain in logic without explicitly specifying which conditions are not affected by an action. John McCarthy and Patrick J. Hayes… …   Wikipedia

• positivism — positivist, adj., n. positivistic, adj. positivistically, adv. /poz i teuh viz euhm/, n. 1. the state or quality of being positive; definiteness; assurance. 2. a philosophical system founded by Auguste Comte, concerned with positive facts and… …   Universalium

• arts, East Asian — Introduction       music and visual and performing arts of China, Korea, and Japan. The literatures of these countries are covered in the articles Chinese literature, Korean literature, and Japanese literature.       Some studies of East Asia… …   Universalium

• Closed world assumption — The closed world assumption (CWA) is the presumption that what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed world assumption is… …   Wikipedia

• Unsolved problems in philosophy — This article deals mainly with unsolved problems in analytic philosophy. For other schools of philosophy, this concept is not well defined. Philosophical problems are unlike scientific or mathematical problems in that problems in philosophy are… …   Wikipedia

• Lista de problemas filosóficos sin resolver — TRADUCCIÓN EN PROGRESO, SE ACEPTA COLABORACIÓN Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas… …   Wikipedia Español